9241. Temporal logic : first International Conference, ICTL'94, Bonn, Germany, July 11-14, 1994 : proceedings
المؤلف: Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
المکتبة: (طهران)
موضوع: ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
827
9242. Temporal logics : and their applications
المؤلف: edited by Antony Galton
المکتبة: (طهران)
موضوع: ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T46
1987
9243. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group
المؤلف: editors, J.W. de Bakker and J.J.M.M. Rutten
المکتبة: (طهران)
موضوع: Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
76
.
642
.
T45
1992
9244. Term rewriting and applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
المؤلف: Jurgen Giesl )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
3467
9245. Term rewriting and applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings
المؤلف: Frank Pfenning )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
4098
9246. Term rewriting and applications: 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
267
.
I555
2006
9247. Test-driven development
المؤلف: / Kent Beck
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Computer software- Testing,Computer software- Development,Computer programming
رده :
QA76
.
76
.
T48
,
B43
2003
9248. Test examples for nonlinear programming codes
المؤلف: Hock, Willi, 1591-
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Nonlinear programming,، Computer programs--Testing
رده :
T
57
.
8
.
H62
9249. Testing Extreme Programming
المؤلف: / Lisa Crispin, Tip House
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Computer software- Development,eXtreme programming,Computer software- Testing
رده :
QA76
.
76
.
D47
,
C75
2003
9250. Testing Extreme Programming
المؤلف: / Lisa Crispin, Tip House
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Computer software- Development,eXtreme programming,Computer software- Testing
رده :
QA76
.
76
.
D47
,
C75
2003
9251. Testing Extreme Programming /
المؤلف: Lisa Crispin, Tip House.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Development.,Computer software-- Testing.,eXtreme programming.,Computer software-- Development.,Computer software-- Development.,Computer software-- Testing.,Computer software-- Testing.,ENGENHARIA DE PROGRAMAÇÃO (TESTES),eXtreme programming.,eXtreme programming.,Logiciels-- Développement.,Logiciels-- Essais.,Programmation extrême.
رده :
QA76
.
76
.
D47
C75
2003
9252. Testing in Scala
المؤلف: Daniel Hinojosa.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Multiparadigm programming (Computer science),Object-oriented programming (Computer science),Scala (Computer program language)
رده :
QA76
.
73
.
S28
H566
2013
9253. Testing object - oriented software
المؤلف: / Imran Bashir, Amrit L. Goel
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Computer software - Testing,Object-oriented programming (Computer science)
رده :
QA76
.
76
.
T48B37
2000
9254. Testing object-oriented systems :
المؤلف: Robert V. Binder.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Testing.,Object-oriented programming (Computer science),Computer software-- Testing.,Object-oriented programming (Computer science)
رده :
QA76
.
64
.
B56
2000
9255. Testing object-oriented systems :models, patterns, and tools
المؤلف: Binder, Robert
المکتبة: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: ، Object-oriented programming )Computer science(,Testing ، Computer software
رده :
QA
76
.
64
.
B56
9256. Testing object-oriented systems: models, patterns, and tools
المؤلف: Binder, Robert
المکتبة: (طهران)
موضوع: Object-oriented programming )Computer science( , Computer software - Testing
رده :
QA
76
.
64
.
B56
2000
9257. Texturing and modeling
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programming ; Computer graphics ;
9258. Texturing and modeling
المؤلف: / David S. Ebert, editor ... [et al.]
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming.,Computer graphics.
رده :
QA
,
76
.
6
,.
T44297
,
1998
9259. Texturing & modeling :
المؤلف: David S. Ebert [and others] ; with contributions from William R. Mark, John C. Hart
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer graphics,Computer programming
رده :
QA76
.
6
.
T44297
2003
9260. Texturing & modeling
المؤلف: / David S. Ebert ... [et al.]
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming.,Computer graphics.
رده :
QA
,
76
.
6
,.
T44296
,
2003
